Euler's criterion for residues

欧拉剩余判别准则